고급 자동차의 승차감을 개선하는 자동차 공학자라고 상상해 보세요. 차가 움푹 패인 길을 지나갈 때 차량의 질량, 스프링의 강성, 서스펜션 댐퍼의 저항력 사이의 상호작용은 단 하나의 수학적 구조에 의해 결정됩니다: 바로 이계 선형 미분방정식. 이것은 단순한 공식이 아니라 진동, 안정성, 제어의 언어입니다.
기본 구조
이계 선형 미분방정식은 알 수 없는 함수 $y(x)$와 그 일차 및 이차 도함수 사이의 관계를 나타냅니다. '선형'이라는 용어는 $y$, $y'$, $y''$ 각각이 첫 번째 차수로만 나타남을 의미합니다.
일반형
$$P(x)\frac{d^2y}{dx^2} + Q(x)\frac{dy}{dx} + R(x)y = G(x)$$
여기서 $P(x)$, $Q(x)$, $R(x)$, $G(x)$는 특정 구간에서 연속적인 함수입니다.
방정식의 분류
- 동차 방정식: 구간 내 모든 $x$에 대해 $G(x) = 0$이라면, 방정식은 동차. 이러한 방정식은 자유 진동 또는 평형 상태의 시스템을 모델링합니다.
核心公式: $P(x)\frac{d^2y}{dx^2} + Q(x)\frac{dy}{dx} + R(x)y = 0$
- 비동차 방정식: $G(x) \neq 0$라면 방정식은 비동차. 함수 $G(x)$는 외부 힘 함수(포트홀을 치는 것과 같은)를 나타냅니다.
중첩 원리
선형 이론에서 가장 강력한 도구 중 하나는 간단한 해들을 조합하여 복잡한 해를 구성할 수 있다는 것입니다.
정리 3: 중첩 원리
만약 $y_1(x)$와 $y_2(x)$가 선형 동차 방정식의 해이고 $c_1, c_2$가 임의의 상수라면, 선형 결합:
$y(x) = c_1y_1(x) + c_2y_2(x)$
또한 해입니다.
일반 해 찾기
모든 모든 동차 방정식의 가능한 모든 해를 포괄하기 위해, 두 기저 해가 선형 독립. 즉, 서로 상수배가 되지 않아야 합니다 (예: $e^x$와 $e^{2x}$는 독립적이지만, $e^x$와 $2e^x$는 그렇지 않습니다).
정리 4: 일반 해
만약 $y_1$와 $y_2$가 구간에서 선형 독립인 해이며 $P(x)$가 절대 0이 아니면, 일반 해는 다음과 같이 유일하게 정의됩니다:
$y(x) = c_1y_1(x) + c_2y_2(x)$